More from this Author
Found 3 books by Mariëlle Stoelinga (Editor)
Formal Modeling and Analysis of Timed Systems
by Étienne André (Editor), Mariëlle Stoelinga (Editor)
Quantitative Evaluation of Systems
by Kaustubh Joshi (Editor), Markus Siegle (Editor), Mariëlle Stoelinga (Editor), Pedro R. D'Argenio (Editor)
Stochastic Model Checking
by Anne Remke (Editor), Mariëlle Stoelinga (Editor), Mariëlle Stoelinga (Editor)